m (Rpl img) |
m (Rpl img) |
(Sin diferencias)
|
Última revisión de 11:26 4 may 2013
Teorema de lógica de enunciados, que se enuncia:
y teorema de álgebra de clases, que se enuncia:
y que permiten escribir, respectivamente, como inferencias válidas,
También, de acuerdo con los Principia Mathematica de Whitehead y Russell, regla de inferencia de lógica de enunciados, que se enuncia:
y que permite sustituir, en las inferencias lógicas, el primer miembro de la equivalencia por el segundo, y viceversa.